Actor model theory - PDFSEARCH.IO - Document Search Engine

Actor model theory
Results: 106

#	Item
11	Automatically Generating Coarse Grained Software Pipelining from Declaratively Specified Communication Nilesh Mahajan* Sajith Sasidharan* Add to Reading List Source URL: www.hipc.org Language: English - Date: 2011-11-11 12:59:29 Parallel computing Compiler optimizations Actor model Software pipelining Futures and promises Very long instruction word Type system Central processing unit Programming language Computing Software engineering Programming language theory
12	Oolong: Asynchronous Distributed Applications Made Easy ∗ Christopher Mitchell Russell Power New York University Add to Reading List Source URL: news.cs.nyu.edu Language: English - Date: 2012-07-22 21:44:17 Database trigger Distributed computing Actor model Asynchrony Connectivity Graph Computing Graph theory Mathematics Synchronization
13	Rodney D. Van Meter IIIZaimokuza Kamakura, Kanagawa-ken, Japanmobile: +email: , http://web.sfc.keio.ac.jp/˜rdv/ Add to Reading List Source URL: web.sfc.keio.ac.jp Language: English - Date: 2009-07-20 23:44:35 Quantum cryptography Classes of computers Computing Quantum information theory Cryptography Quantum key distribution Quantum information Quantum computer Actor model Theoretical computer science Applied mathematics Quantum information science
14	On the Integration of the Actor Model into Mainstream Technologies A Scala Perspective Philipp Haller Typesafe, Inc. Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2013-05-22 03:52:53 Cross-platform software Functional languages Java platform Concurrent computing Type theory Scala Actor model Erlang Continuation Computing Software engineering Computer programming
15	Rodney D. Van Meter IIIZaimokuza Kamakura, Kanagawa-ken, Japanmobile: +email: , http://web.sfc.keio.ac.jp/˜rdv/ Add to Reading List Source URL: web.sfc.keio.ac.jp Language: English - Date: 2009-07-20 23:44:35 Quantum cryptography Classes of computers Computing Quantum information theory Cryptography Quantum key distribution Quantum information Quantum computer Actor model Theoretical computer science Applied mathematics Quantum information science
16	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-08-13 20:55:06 Turing machine Theory of computation Alan Turing Computability theory Turing completeness Actor model Algorithm Complexity Strong AI Computer science Theoretical computer science Applied mathematics
17	Master internship Petri net unfolding of biological networks Topic: Logic and Verification, Computational Biology Location: MExICo project team, LSV, École Normale Supérieure de Cachan, Cachan, France (Head of LSV: Lau Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-11 13:14:14 Diagrams Petri net Gene regulatory network Model checking Petri Attractor Actor model Chaos theory Computer science Concurrency Networks Systems biology
18	VLISP Byte Code Interpreter Vipin Swarup William M. Farmer Leonard G. Monk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Logic in computer science Programming language semantics Data types Operational semantics Actor model Interpreter Scheme Primitive data type Programming language Software engineering Computing Programming language theory
19	Parallel Quantum Computation∗ Norman Margolus MIT Laboratory For Computer Science Cambridge MassachusettsJune 1989 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2005-01-16 13:05:59 Computer science Quantum information science Information theory Quantum computer Quantum cryptography Computation Reversible computing Cellular automaton Actor model Theoretical computer science Applied mathematics Models of computation
20	Universidad de Buenos Aires Facultad de Ciencias Exactas y Naturales Departamento de Computación Master Thesis: “Static Code Validation for Traits” Add to Reading List Source URL: dc.uba.ar Language: English - Date: 2012-12-10 10:11:23 Type theory Error detection and correction Trait Aliasing Self Code Actor model Declaration Ping Computing Software engineering Programming language theory

UPDATE